Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
211	Work In Progress: an Empirical Study of Static Typing in Ruby Mark T. Daly Vibha Sazawal Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-08-03 17:46:51 Type theory Type system Ruby Programming language Strong typing Variable Type safety Object-oriented programming Dynamic programming language Software engineering Computing Programming language theory
212	1 Health & Safety Basic Information 2 Add to Reading List Source URL: cdn02.nintendo-europe.com Language: English - Date: 2012-12-10 13:21:32 Digital media Nintendo DS Application software Video games Nintendo Super Mario 3D Land Mario 3ds Nintendo 3DS system software Nintendo 3DS Games Handheld game consoles
213	Safety activities during early software project phases Jon Arvid Børretzen, Tor Stålhane, Torgrim Lauritsen, and Per Trygve Myhrer Department of Computer and Information Science, Norwegian University of Science and Tec Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:08:52 Systems engineering Unified Process Hazard analysis System safety Hazard and operability study Reliability engineering Safety instrumented system Software development process Requirement Safety engineering Software development Safety
214	Lexmark Solutions for Manufacturing: Built for better business As a manufacturer, your business environment is intricate and highly distributed—making daily operations and processes difficult to see. However, having th Add to Reading List Source URL: www.perceptivesoftware.com Language: English - Date: 2015-04-17 17:59:35 Environmental law Health sciences Industrial hygiene Medicine Safety engineering Globally Harmonized System of Classification and Labelling of Chemicals Lexmark Dangerous goods Perceptive Software Safety Health Occupational safety and health
215	Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed] Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2012-05-18 10:26:19 Cross-platform software Type theory Data types Scripting languages Program analysis Type system Ada Groovy Type safety Computing Software engineering Programming language theory
216	Sage MAS 90 and 200 Version 4.20 Windows VistaTM Compatibility Sage MAS 90 and 200 version 4.20 are now supported on computers using Windows Vista Business, Enterprise, and Ultimate editions. This document des Add to Reading List Source URL: givingtreeconsulting.com Language: English - Date: 2007-10-02 01:00:00 System software Windows NT Windows XP MAS 90 User Account Control Windows Security and safety features new to Windows Vista Features new to Windows Vista Microsoft Windows Windows Vista Software
217	Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language theory Type system Subtype polymorphism System F Polymorphism Type inference Type safety Interface Hindley–Milner Software engineering Type theory Computing
218	Scalable Certiﬁcation for Typed Assembly Language Dan Grossman and Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-03-05 11:41:46 Programming language implementation Type theory Procedural programming languages Compiler construction Functional languages Compiler Type inference Type system Type safety Software engineering Computing Programming language theory
219	View Security VMware Horizon 6 Version 6.1 This document supports the version of each product listed and supports all subsequent versions until the document is Add to Reading List Source URL: pubs.vmware.com Language: English System software Centralized computing VMware Cryptographic protocols Secure communication HTTP Secure Desktop virtualization Remote Desktop Services Security and safety features new to Windows Vista Computing Software Remote desktop
220	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Dynamics for ML using Meta-Programming Thomas Gazagnaire Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 Type theory Functional languages Data types OCaml Functional programming ML Caml Type system Type safety Software engineering Computing Programming language theory

UPDATE